Buy Used and New Stefania Gnesi Books

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

by John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene

ISBN 13: 9783642308840

Format: Paperback (396 pages)
Publisher: Springer
Published: 12 Jun 2012

Save for later

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings: 9995 (Lecture Notes in Computer Science)

by John Fitzgerald,Constance Heitmeyer,Stefania Gnesi,Anna Philippou

ISBN 13: 9783319489889

Format: Paperback (816 pages)
Publisher: Springer
Published: 08 Nov 2016

Save for later